Soundness in Negotiations
نویسندگان
چکیده
Negotiations are a formalism for describing multiparty distributed cooperation. Alternatively, they can be seen as a model of concurrency with synchronized choice as communication primitive. Well-designed negotiations must be sound, meaning that, whatever its current state, the negotiation can still be completed. In earlier work, Esparza and Desel have shown that deciding soundness of a negotiation is Pspace-complete, and in Ptime if the negotiation is deterministic. They have also extended their polynomial soundness algorithm to an intermediate class of acyclic, non-deterministic negotiations. However, they did not analyze the runtime of the extended algorithm, and also left open the complexity of the soundness problem for the intermediate class. In the first part of this paper we revisit the soundness problem for deterministic negotiations, and show that it is Nlogspace-complete, improving on the earlier algorithm, which requires linear space. In the second part we answer the question left open by Esparza and Desel. We prove that the soundness problem can be solved in polynomial time for acyclic, weakly nondeterministic negotiations, a more general class than the one considered by them. In the third and final part, we show that the techniques developed in the first two parts of the paper can be applied to analysis problems other than soundness, including the problem of detecting race conditions, and several classical static analysis problems. More specifically, we show that, while these problems are intractable for arbitrary acyclic deterministic negotiations, they become tractable in the sound case. So soundness is not only a desirable behavioral property in itself, but also helps to analyze other properties.
منابع مشابه
On Negotiation as Concurrency Primitive II: Deterministic Cyclic Negotiations
We continue our study of negotations, a concurrency model with multiparty negotiation as primitive. In a previous paper [7] we have provided a correct and complete set of reduction rules for sound, acyclic, and (weakly) deterministic negotiations. In this paper we extend this result to all deterministic negotiations, including cyclic ones. We also show that this set of rules allows one to decid...
متن کاملOn Negotiation as Concurrency Primitive
We introduce negotiations, a model of concurrency close to Petri nets, with multiparty negotiation as primitive. We study the problems of soundness of negotiations and of, given a negotiation with possibly many steps, computing a summary, i.e., an equivalent one-step negotiation. We provide a complete set of reduction rules for sound, acyclic, weakly deterministic negotiations and show that, fo...
متن کاملMultilateralism after the Failure of the DDR and Climate Change Negotiations
This paper examines the two most important current efforts to devise new rules binding all nations the negotiations in the WTO of trade rules and the negotiations under the UN Framework Convention on Climate Change to devise rules restricting the annual emissions of greenhouse gases. Both negotiations have failed after several years of intensive effort. There are remarkable parallels in these ...
متن کاملFinancial Soundness Indicators with Emphasis on Non-performing Loans in Iran’s Banking System
This paper analyzes the financial soundness indicators in Iran`s banking system. In the first part it emphasis on asset quality measure by the non-performing loans ratio. The non-performing loans grew rapidly in last decade in Iran’s banking system and it reached higher than 25 percent of total loans in 2010. We conclude that NPLs increase have impact on real part of economy in the concept...
متن کاملThe Impact of Regulation on Soundness of Banking:A panel Data Approach
The recent financial crisis has shown that the reforming in regulation and supervision is essential. This paper studies whether banking regulation improves bank soundness or more regulation lead to decrease soundness of banking. Specifically, countries which require banks to report regularly and accurately their financial data to regulators and market participants have sounder banks. In th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Logical Methods in Computer Science
دوره 14 شماره
صفحات -
تاریخ انتشار 2016